﻿namespace LambdaCalc.Parser.Tests

open System
open NUnit.Framework

open LambdaCalc

[<TestFixture>]
type ``test comparision-input``() = 

    let parse = Parser.LambdaParser.parse

    [<Test>]
    member test.``'\x.x == \y.y' is parsed into a comparision``() =
        let input = "\x.x == \y.y"
        let expectedOutput = Parser.Comparison(
                                Parser.Abstraction(["x"], Parser.Atom "x"),
                                Parser.Abstraction(["y"], Parser.Atom "y"))
        let parserResult = parse input
        Assert.AreEqual(expectedOutput, parserResult)